41. Arithmetic and logic in computer systems
پدیدآورنده: Lu, Mi
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه صنعتی خواجه نصير الدين طوسى (تهران)
موضوع: ، Computer arithmetic,، Logic programming
رده :
QA
76
.
9
.
C62L8
42. Arithmetic and logic in computer systems
پدیدآورنده: Mi Lu
کتابخانه: کتابخانه مرکزی دانشگاه ولی عصر(عج) رفسنجان (کرمان)
موضوع: Computer arithmetic,Logic programming
رده :
QA
76
.
9
.
C62
,
L8
2004
43. Arithmetic and logic in computer systems
پدیدآورنده:
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع: Computer arithmetic. ; Logic programming. ;
44. Artificial intelligence in simulation
پدیدآورنده: FUTO,IVAN
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)
موضوع: ARTIFICIAL INTELLIGENCE-SIMULATION , PROLOG )COMPUTER PROGRAM LANGUAGE(, LOGIC PROGRAMMING
رده :
Q
335
.
F87
45. Automated deduction - A Basis for applications
پدیدآورنده: edited by wolfgang Bibel, Peter H. Schmitt
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه بیرجند (خراسان جنوبی)
موضوع: ، Logic programming,، Logic )mathematics(
رده :
QA
76
.
63
.
A8
L6
46. Based Program Synthesis and Transformation :-Logic
پدیدآورنده:
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع: Logic programming ; Congresses. ;
47. CSL'87 lst workshop on computer science logic
پدیدآورنده:
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Electronic digital computers-- Design and construction-- Congresses,، Logic design-- Computer programming-- Congresses
رده :
QA
76
.
6
.
W6
1987
48. Calculus and Computer Science Theory, Proceedings of theSymposium held in Rome March 25-27, 1975. IAC-CNR Istituto per le applicazioni del calcolo "Mauro Picone" of the Consiglio Nazionale delle Ricerche
پدیدآورنده: / Edited by C. Bohm
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه تهران (تهران)
موضوع: Combinatory logic -- Congresses,Programming languages (Electronic computurs) -- Congresses
رده :
QA
905
.
L35
49. Computational Logic in Multi-Agent Systems
پدیدآورنده:
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع: Computer Science,Mathematical Logic and Formal Languages,Programming Languages, Compilers, Interpreters,علوم کامپیوتر
رده :
E-Book
,
50. Computational intelligence for modelling, control & automation : intelligent image processing, data analysis & information retrieval
پدیدآورنده: edited by Masoud Mohammadian
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع: ، Evolutionary programming )Computer science(,، Fuzzy logic,، Automatic control,، Computational intelligence
رده :
QA
7609
.
C6
1999
51. Computational logic : logic programming and beyond : essays in honor of Robert A. Kowalski
پدیدآورنده: Antonis C. Kakas, Fariba Sadri )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: ، Logic programming,، Automatic theorem proving,، Logic programming languages,، Kowalski, Robert
رده :
QA
76
.
L28
Vol
.
2407-2408
52. Computing in Horn Clause theories
پدیدآورنده: Padawitz, Peter, 3591-
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: ، Logic programming,، Horn clauses
رده :
QA
76
.
6
.
P327
1988
53. Computing in Horn clause theories
پدیدآورنده: Padawitz, Peter
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع: ، Logic programming,، Horn clauses
رده :
QA
76
.
6
.
P32
1988
54. Computing with logic : logic programming with Prolog
پدیدآورنده : Maier, David
موضوع : ، Prolog )Computer program language(,، Logic programming
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
55. Conceptual graphs and fuzzy logic
پدیدآورنده: Tru Hoang Cao,Title
کتابخانه: كتابخانه مركزی دانشگاه بين المللی امام خمينی (ره) قزوين (قزوین)
موضوع: Fuzzy graphs,Conceptual structures )Information theory(,Fuzzy logic,Logic programming,Computational intelligence,Begriffsgraph^aswd,Fuzzy-logisches Schliessen^aswd,Nateurliche Sprache^aswd,Ontologie ^aswd
رده :
QA
.
C35
166
.
175
2010
56. Conceptual graphs and fuzzy logic : a fusion for representing and reasoning with linguistic information
پدیدآورنده: Tru Hoang Cao
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: ، Fuzzy graphs,، Conceptual structures )Information theory(,، Fuzzy logic,، Logic programming,، Computational intelligence
رده :
QA
166
.
175
.
C37C6
57. Conceptual structures : broadening the base : 9th International Conference on Conceptual Structures, ICCS 2001, Stanford, CA, USA, July 30-August 3, 2001 : proceedings
پدیدآورنده: Harry S. Delugach, Gerd Stumme, )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Conceptual structures )Information theory(,Congresses ، Graph theory,Congresses ، Logic programming,Congresses ، Knowledge representation )Information theory(,Congresses ، Natural language processing )Computer science(
رده :
QA
76
.
L28
Vol
.
2120
58. Conclog : a methodological approach to concurrent logic programming
پدیدآورنده: Jacquet, Jean-Marie
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: ، Logic programming
رده :
QA
76
.
L28
Vol
.
556
59. Constraint Solving and Language Processing
پدیدآورنده: edited by Denys Duchier, Yannick Parmentier.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Artificial intelligence.,Computer logic.,Computer science.,Information retrieval.,Mathematical logic.,Programming languages (Electronic computers).,Software engineering.
60. Constraint satisfaction in logic programming
پدیدآورنده: / Pascal Van Hentenryck,Van Hentenryck
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه تهران (تهران)
موضوع: Logic programming
رده :
QA
76
.
6
.
V347
1989
